Model checking - PDFSEARCH.IO - Document Search Engine

Model checking
Results: 996

#	Item
331	Bounded Model Checking bmc 1 Bounded Model Checking Safety Add to Reading List Source URL: fmv.jku.at Language: English - Date: 2006-03-29 04:32:22
332	The Tractability of Model Checking for LTL: The Good, the Bad, and the Ugly Fragments MICHAEL BAULAND Knipp GmbH, Germany MARTIN MUNDHENK Universit¨at Jena, Germany Add to Reading List Source URL: tocl.acm.org Language: English
333	FO Model Checking on Nested Pushdown Trees and more: on Collapsible Pushdown Graphs June 26, 2009 \| Alexander Kartzow \| TU Darmstadt \| AG Logik \| 1 Nested Trees Add to Reading List Source URL: www.kartzow.de Language: English - Date: 2015-02-23 08:49:16
334	SSDL: overview Goal: Improving the quality of systems and software Means: Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2012-08-09 05:02:19 Model checking Formal verification Software engineering Programming language Software development process Science Computing Formal methods SOAP Service Description Language Applied mathematics
335	Svetlana Arifulina, Chiristian Soltenborn and Gregor Engels. Coverage Criteria for Testing DMM Speciﬁcations Add to Reading List Source URL: cs.ioc.ee Language: English - Date: 2012-03-18 17:20:03 Formal methods Mathematics Software engineering Software development Model checking Graph rewriting RCOS
336	BRICS Basic Research in Computer Science BRICS NS-94-4 P. D. Mosses (ed.): 6th Nordic Workshop on Programming Theory Add to Reading List Source URL: www.brics.dk Language: English - Date: 2003-12-10 05:30:33 Logic in computer science Programming language semantics Philosophical logic Modal logic Model checking Denotational semantics Peter Mosses Temporal logic Mereology Theoretical computer science Mathematical logic Logic
337	SSDL: overview Goal: Improving the quality of systems and software Means: Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2012-08-09 05:02:19 Model checking Formal verification Software engineering Programming language Software development process Science Computing Formal methods SOAP Service Description Language Applied mathematics
338	BRICS Basic Research in Computer Science BRICS RSM¨oller et al.: Predicate Abstraction for Dense Real-Time Systems Predicate Abstraction for Add to Reading List Source URL: www.brics.dk Language: English - Date: 2001-11-23 11:27:09 Applied mathematics Models of computation Model checking Fixed-point combinator Abstraction Predicate Abstract interpretation Finite-state machine Function Theoretical computer science Mathematics Lambda calculus
339	HVCAgenda November 6 – Day 1 09:00 Registration 09:30 Opening Remarks Oded Cohn, Director, IBM Add to Reading List Source URL: www.research.ibm.com Language: English - Date: 2012-11-26 04:25:08 Technology Business Computing Formal methods IBM Research OWASP Software verification Model checking Verification and validation Software testing Pharmaceutical industry Validity
340	T-Check: Bug Finding for Sensor Networks Peng Li John Regehr School of Computing, University of Utah, USA Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2010-02-23 00:15:15 Data Software engineering Wireless sensor network NesC Model checking Stack Collection Tree Protocol Java Pathfinder Communications protocol Software bugs Computing TinyOS

UPDATE